Bell, John L. (2012). "Types, Sets and Categories" (PDF). In Kanamory, Akihiro (ed.). Sets and Extensions in the Twentieth Century (PDF). Handbook of the History of Logic. 6. Elsevier.
Church, Alonzo (1940). "A formulation of the simple theory of types". The Journal of Symbolic Logic. 5 (2): 56–68. JSTOR 2266170.
Farmer, William M. (2008). "The seven virtues of simple type theory". Journal of Applied Logic. 6 (3): 267–286.
